$\forall$$T$:Type, $L$:$T$ List, $i$, $j$, $x$:$\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$$L$$\parallel$}}$. swap($L$;$i$;$j$)[$x$] $=$ $L$[($i$, $j$)($x$)] $\in$ $T$